Optimal Ordered Problem Solver

Optimal Ordered Problem Solver

Domain Problem Solver Layer Domain Problem Solver

An Ordered Logic Program Solver

We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended answer sets of a simple program using an intuitive 9-valued lattice, called T9. During the computation, this lattice is employed to keep track of the status of the literals and the rules while evolving to a solution. ...

Problem Solver

The contract net protocol has been developed to specify problem-solving communication and control for nodes in a distributed problem solver. Task distribution is'affected by a negotiation process, a discussion carried on between nodes with tasks to be executed and nodes that may be able to execute those tasks. We present the specification of the protocol and demonstrate its use in the solution ...

Learning Arithmetic Problem Solver

In this paper we describe a problem solving system with a learning mechanism (Learning Arithmetic Problem Solver, LAPS), which can solve arithmetic problems written in natural languages. Since LAPS has knowledge about arithmetic problems in the form of rules, it can solve many different problems without alteration of the program. When LAPS cannot solve a given problem because of a shortage of k...